double pipe (||) - Spanisch Englisch Wörterbuch